This is the author’s version of a work that was accepted for publication in Journal of Logical and Algebraic Methods in Programming. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Journal of Logical and Algebraic Methods in Programming 83.5-6 (2014) , DOI:10.1016/j.jlamp.2014.08.005
展开▼
机译：这是作者的作品版本，已被《逻辑与代数编程方法杂志》发表。由发布过程引起的更改，例如同行评审，编辑，更正，结构格式和其他质量控制机制，可能未反映在本文档中。自提交出版以来，可能对此作品进行了更改。最终版本随后发表在Journal of Logical and Algebraic Methods in Programming 83.5-6（2014），DOI：10.1016 / j.jlamp.2014.08.005中
展开▼
